ROYALE: A Framework for Universally Composable Card Games with Financial Rewards and Penalties Enforcement

While many tailor made card game protocols are known, the vast majority of those suffer from three main issues: lack of mechanisms for distributing financial rewards and punishing cheaters, lack of composability guarantees and little flexibility, focusing on the specific game of poker. Even though folklore holds that poker protocols can be used to play any card game, this conjecture remains unproven and, in fact, does not hold for a number of protocols (including recent results). We both tackle the problem of constructing protocols for general card games and initiate a treatment of such protocols in the Universal Composability (UC) framework, introducing an ideal functionality that captures general card games constructed from a set of core card operations. Based on this formalism, we introduce Royale, the first UC-secure general card games which supports financial rewards/penalties enforcement. We remark that Royale also yields the first UC-secure poker protocol. Interestingly, Royale performs better than most previous works (that do not have composability guarantees), which we highlight through a detailed concrete complexity analysis and benchmarks from a prototype implementation

The association of HBV core promoter double mutations (A1762T and G1764A) with viral load differs between HBeAg positive and anti-HBe positive individuals: A longitudinal analysis

Background/Aims: Although there have been a few reports regarding the effect of basal core promoter (BCP) double mutations (A1762T and G1764A) on hepatitis B viral loads, the association remains uncertain. We aim to determine the association after controlling for HBeAg - a strong confounding factor.Methods: We selected randomly 190 individuals from a Chinese cohort of 2258 subjects for cross-sectional analysis and 56 of the 190 for longitudinal analysis of viral loads.Results: In multivariable analysis of the cross-sectional data, BCP double mutations are significantly associated with lower viral loads in HBeAg positive subjects but no difference was found in anti-HBe positive subjects. Triple mutations at nucleotide (nt) 1753, 1762 and 1764 and mutations between nt 1809 and 1817, precore stop mutation (nt 1896) and genotype are not associated with viral loads in either HBeAg or anti-HBe positive subjects. Analysis of the longitudinal data yielded similar results to the cross-sectional data. Viral loads differ significantly between individuals infected with wild-type and BCP double mutations prior to HBeAg seroconversion but this difference is lost after seroconversion.Conclusions: BCP double mutations are associated with lower viral loads in HBeAg positive individuals but have no effect on the viral loads of anti-HBe positive individuals. (C) 2008 European Association for the Study of the Liver. Published by Elsevier B.V. All rights reserved

A unified wavelet-based modelling framework for non-linear system identification: the WANARX model structure

A new unified modelling framework based on the superposition of additive submodels, functional components, and wavelet decompositions is proposed for non-linear system identification. A non-linear model, which is often represented using a multivariate non-linear function, is initially decomposed into a number of functional components via the wellknown analysis of variance (ANOVA) expression, which can be viewed as a special form of the NARX (non-linear autoregressive with exogenous inputs) model for representing dynamic input–output systems. By expanding each functional component using wavelet decompositions including the regular lattice frame decomposition, wavelet series and multiresolution wavelet decompositions, the multivariate non-linear model can then be converted into a linear-in-theparameters problem, which can be solved using least-squares type methods. An efficient model structure determination approach based upon a forward orthogonal least squares (OLS) algorithm, which involves a stepwise orthogonalization of the regressors and a forward selection of the relevant model terms based on the error reduction ratio (ERR), is employed to solve the linear-in-the-parameters problem in the present study. The new modelling structure is referred to as a wavelet-based ANOVA decomposition of the NARX model or simply WANARX model, and can be applied to represent high-order and high dimensional non-linear systems

A Transparent Display with Per-Pixel Color and Opacity Control

International audienceWe propose a new display system that composites matted foreground animated graphics and video, with per-pixel controllable emitted color and transparency, over real-world dynamic objects seen through a transparent display. Multiple users can participate simultaneously without any glasses, trackers, or additional devices. The current prototype is deployed as a desktop-monitor-sized transparent display box assembled from commodity hardware components with the addition of a high-frame-rate controllable diffuser

Instantaneous Decentralized Poker

We present efficient protocols for amortized secure multiparty computation with penalties and secure cash distribution, of which poker is a prime example. Our protocols have an initial phase where the parties interact with a cryptocurrency network, that then enables them to interact only among themselves over the course of playing many poker games in which money changes hands. The high efficiency of our protocols is achieved by harnessing the power of stateful contracts. Compared to the limited expressive power of Bitcoin scripts, stateful contracts enable richer forms of interaction between standard secure computation and a cryptocurrency. We formalize the stateful contract model and the security notions that our protocols accomplish, and provide proofs using the simulation paradigm. Moreover, we provide a reference implementation in Ethereum/Solidity for the stateful contracts that our protocols are based on. We also adopt our off-chain cash distribution protocols to the special case of stateful duplex micropayment channels, which are of independent interest. In comparison to Bitcoin based payment channels, our duplex channel implementation is more efficient and has additional features

What do γ\gamma-ray bursts look like?

There have been great and rapid progresses in the field of $\gamma$-ray bursts (denoted as GRBs) since BeppoSAX and other telescopes discovered their afterglows in 1997. Here, we will first give a brief review on the observational facts of GRBs and direct understanding from these facts, which lead to the standard fireball model. The dynamical evolution of the fireball is discussed, especially a generic model is proposed to describe the whole dynamical evolution of GRB remnant from highly radiative to adiabatic, and from ultra-relativistic to non-relativistic phase. Then, Various deviations from the standard model are discussed to give new information about GRBs and their environment. In order to relax the energy crisis, the beaming effects and their possible observational evidences are also discussed in GRB's radiations.Comment: 10 pages, Latex. Invited talk at the Pacific Rim Conference on Stellar Astrophysics, Hong Kong, China, Aug. 199

Raman scattering and X-ray diffraction study of neutron irradiated GaN epilayers

Neutron irradiation induced defects and their effects on the carrier concentration of GaN epilayers are investigated with Raman scattering and X-ray diffraction techniques. Relative to the as-grown sample, the neutronirradiated samples exhibit a clear variation in the position and lineshape of the A 1(LO)-mode Raman peak as well as in the fullwidth at half-maximum height (FWHM) of the XRD rocking curves. Careful curve fitting and adequate calculations give the carrier concentrations of the irradiated GaN. It is found that the defects induced by neutron irradiation act as carrier trap centres which capture the electron carriers so that the carrier concentration of the irradiated GaN is reduced. © 2005 IEEE.published_or_final_versio

Exposure and impact of a mass media campaign targeting sexual health amongst Scottish men who have sex with men: an outcome evaluation

Background: This paper explores the exposure and impact of a Scottish mass media campaign: Make Your Position Clear. It ran from October 2009 to July 2010, targeted gay men and other men who have sex with men (MSM), and had two key aims: to promote regular sexual health and HIV testing every 6 months, and to promote the use of appropriate condoms and water-based lubricant with each episode of anal intercourse. Methods: A cross-sectional survey (anonymous and self-report) was conducted 10 months after the campaign was launched (July 2010). Men were recruited from commercial venues. Outcome measures included use of lubricant, testing for sexually transmitted infections and HIV, and intentions to seek HIV testing within the following six months. Linear-by-linear chi-square analysis and binary logistic regressions were conducted to explore the associations between the outcome measures and campaign exposure. Results: The total sample was 822 men (62.6% response rate). Men self-identifying as HIV positive were excluded from the analysis (n = 38). Binary logistic analysis indicated that those with mid or high campaign exposure were more likely to have been tested for HIV in the previous six months when adjusted for age, area of residence and use of the “gay scene” (AOR = 1.96, 95% CI = 1.26 to 3.06, p = .003), but were not more likely to be tested for STIs (AOR = 1.37, 95% CI = 0.88 to 2.16, p = .167). When adjusted for previous HIV testing, those with mid or high campaign exposure were not more likely to indicate intention to be tested for HIV in the following six months (AOR = 1.30, 95% CI = 0.73 to 2.32, p = .367). Those with no campaign exposure were less likely than those with low exposure to have used appropriate lubricant with anal sex partners in the previous year (AOR = 0.42, 95% CI = 0.23 to 0.77, p = .005). Conclusions: The campaign had demonstrable reach. The analysis showed partial support for the role of mass media campaigns in improving sexual health outcomes. This suggests that a role for mass media campaigns remains within combination HIV prevention

Stalking influenza by vaccination with pre-fusion headless HA mini-stem.

Inaccuracies in prediction of circulating viral strain genotypes and the possibility of novel reassortants causing a pandemic outbreak necessitate the development of an anti-influenza vaccine with increased breadth of protection and potential for rapid production and deployment. The hemagglutinin (HA) stem is a promising target for universal influenza vaccine as stem-specific antibodies have the potential to be broadly cross-reactive towards different HA subtypes. Here, we report the design of a bacterially expressed polypeptide that mimics a H5 HA stem by protein minimization to focus the antibody response towards the HA stem. The HA mini-stem folds as a trimer mimicking the HA prefusion conformation. It is resistant to thermal/chemical stress, and it binds to conformation-specific, HA stem-directed broadly neutralizing antibodies with high affinity. Mice vaccinated with the group 1 HA mini-stems are protected from morbidity and mortality against lethal challenge by both group 1 (H5 and H1) and group 2 (H3) influenza viruses, the first report of cross-group protection. Passive transfer of immune serum demonstrates the protection is mediated by stem-specific antibodies. Furthermore, antibodies indudced by these HA stems have broad HA reactivity, yet they do not have antibody-dependent enhancement activity

SPH study of the evolution of water–water interfaces in dam break flows

The mixing process of upstream and downstream waters in the dam break flow could generate significant ecological impact on the downstream reaches and influence the environmental damages caused by the dam break flood. This is not easily investigated with the analytical and numerical models based on the grid method due to the large deformation of free surface and the water-water interface. In this paper, a weakly compressible Smoothed Particle Hydrodynamics (WCSPH) solver is used to study the advection and mixing process of the water bodies in two-dimensional dam-break flows over a wet bed. The numerical results of the mixing dynamics immediately after the release of the dam water are found to agree satisfactorily with the published experimental and numerical results. Then further investigations are carried out to study the interface development at the later stage of dambreak flows in a long channel. The analyses concentrate on the evolution of the interface at different ratios between the upstream and downstream water depths. The potential capabilities of the mesh-free SPH modelling approach for predicting the detailed development of the water-water interfaces are fully demonstrated.The first author acknowledges the Jafar Studentship during her PhD study at the University of Cambridge. The other authors acknowledge the support of the Major State Basic Research Development Program (973) of China (No. 2013CB036402), Open Fund of the State Key Laboratory of Hydraulics and Mountain River Engineering, Sichuan University (SKHL1404; SKHL1409), Start-up Grant for the Young Teachers of Sichuan University (2014SCU11056) and National Science and Technology Support Plan (2012BAB0513B0).This is the accepted manuscript. The final version is available at http://link.springer.com/article/10.1007%2Fs11069-015-1726-6